Mike Papadakis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 Sixth International Conference on Social Networks Analysis, Management and Security (SNAMS) - Granada, Spain (2019.10.22-2019.10.25)] 2019 Sixth International Conference on Social Networks Analysis, Management and Security (SNAMS) - A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate

Schmitt, Xavier, Kubler, Sylvain, Robert, Jeremy, Papadakis, Mike, LeTraon, Yves

Year:

2019

File:

PDF, 1004 KB

2019

2

Foot and ankle injuries during the Athens 2004 Olympic Games

Thanos Badekas, Stamatios A Papadakis, Nikolaos Vergados, Spyros P Galanakos, Angeliki Siapkara, Mike Forgrave, Nick Romansky, Steven Mirones, Hans-Jeorg Trnka, Marino Delmi

Journal:

Journal of Foot and Ankle Research

Year:

2009

Language:

english

File:

PDF, 168 KB

english, 2009

3

[Advances in Computers] || Mutation Testing Advances: An Analysis and Survey

Papadakis, Mike

Year:

2018

Language:

english

File:

PDF, 1.52 MB

english, 2018

4

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Validity Fuzzing and Parametric Generators for Effective Random Testing

Padhye, Rohan, Lemieux, Caroline, Sen, Koushik, Papadakis, Mike, Le Traon, Yves

Year:

2019

Language:

english

File:

PDF, 80 KB

english, 2019

5

Proficiency testing in analytical chemistry, microbiology and laboratory medicine: working group discussions on current practice and future directions

Brian Brookman, Ioannis Papadakis, Alan Squirrell, Steve Evans, Steve Ellison, Ulf Örnemark, Nick Boley, Anita Schmidt, Ellen van Berkel, Barry Tylee, Mike Noble, Michael Koch, Dan Tholen

Journal:

Accreditation and Quality Assurance

Year:

2004

Language:

english

File:

PDF, 186 KB

english, 2004

6

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Mike Papadakis, Nicos Malevris

Journal:

Software Quality Journal

Year:

2011

Language:

english

File:

PDF, 507 KB

english, 2011

7

SPIE Proceedings [SPIE SPIE Optical Engineering + Applications - San Diego, California (Sunday 21 August 2011)] Wavelets and Sparsity XIV - Compressed sensing in k-space: from magnetic resonance imaging and synthetic aperture radar

Davies, Mike E., Du, Chaoran, Kelly, Shaun I., Marshall, Ian, Rilling, Gabriel, Tao, Yuehui, Papadakis, Manos, Van De Ville, Dimitri, Goyal, Vivek K.

Year:

2011

Language:

english

File:

PDF, 876 KB

english, 2011

8

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - An Empirical Evaluation of the First and Second Order Mutation Testing Strategies

Papadakis, Mike, Malevris, Nicos

Year:

2010

Language:

english

File:

PDF, 2.17 MB

english, 2010

9

[IEEE 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Raleigh, NC, USA (2016.10.2-2016.10.3)] 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study

Kintis, Marinos, Papadakis, Mike, Papadopoulos, Andreas, Valvis, Evangelos, Malevris, Nicos

Year:

2016

Language:

english

File:

PDF, 247 KB

english, 2016

10

How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults

Kintis, Marinos, Papadakis, Mike, Papadopoulos, Andreas, Valvis, Evangelos, Malevris, Nicos, Le Traon, Yves

Journal:

Empirical Software Engineering

Year:

2017

Language:

english

File:

PDF, 5.90 MB

english, 2017

11

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Vasteras (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Mutant Quality Indicators

Mike, Papadakis, Chekam, Thierry Titcheu, Le Traon, Yves

Year:

2018

Language:

english

File:

PDF, 794 KB

english, 2018

12

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - On the Evolution of Keyword-Driven Test Suites

Rwemalika, Renaud, Kintis, Marinos, Papadakis, Mike, Le Traon, Yves, Lorrach, Pierre

Year:

2019

Language:

english

File:

PDF, 458 KB

english, 2019

13

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) - Assessing Transition-Based Test Selection Algorithms at Google

Leong, Claire, Singh, Abhayendra, Papadakis, Mike, Le Traon, Yves, Micco, John

Year:

2019

Language:

english

File:

PDF, 182 KB

english, 2019

14

Mutation based test case generation via a path selection strategy

Mike Papadakis, Nicos Malevris

Journal:

Information and Software Technology

Year:

2012

Language:

english

File:

PDF, 815 KB

english, 2012

15

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Using Mutants to Locate "Unknown" Faults

Papadakis, Mike, Le Traon, Yves

Year:

2012

Language:

english

File:

PDF, 423 KB

english, 2012

16

[IEEE 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) - San Jose, CA, USA (2010.11.1-2010.11.4)] 2010 IEEE 21st International Symposium on Software Reliability Engineering - Automatic Mutation Test Case Generation via Dynamic Symbolic Execution

Papadakis, Mike, Malevris, Nicos

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

17

Searching and generating test inputs for mutation testing

Mike Papadakis, Nicos Malevris

Journal:

Year:

2013

Language:

english

File:

PDF, 344 KB

english, 2013

18

[American Institute of Aeronautics and Astronautics 39th Aerospace Sciences Meeting and Exhibit - Reno,NV,U.S.A. (08 January 2001 - 11 January 2001)] 39th Aerospace Sciences Meeting and Exhibit - Experimental investigation of simulated ice accretions on a full-scale T-tail

Papadakis, Michael, Yeong, Hsiung, Chandrasekharan, Reuben, Hinson, Mike, Ratvasky, Thomas, Giriunas, Julius

Year:

2001

Language:

english

File:

PDF, 4.79 MB

english, 2001

19

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

Henard, Christopher, Papadakis, Mike, Perrouin, Gilles, Klein, Jacques, Traon, Yves Le

Year:

2013

Language:

english

File:

PDF, 343 KB

english, 2013

20

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Isolating First Order Equivalent Mutants via Second Order Mutation

Kintis, Marinos, Papadakis, Mike, Malevris, Nicos

Year:

2012

Language:

english

File:

PDF, 335 KB

english, 2012

21

Mitigating the effects of equivalent mutants with mutant classification strategies

Papadakis, Mike, Delamaro, Marcio, Le Traon, Yves

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 2.95 MB

english, 2014

22

[IEEE 2010 17th Asia Pacific Software Engineering Conference (APSEC) - Sydney, Australia (2010.11.30-2010.12.3)] 2010 Asia Pacific Software Engineering Conference - Evaluating Mutation Testing Alternatives: A Collateral Experiment

Kintis, Marinos, Papadakis, Mike, Malevris, Nicos

Year:

2010

Language:

english

File:

PDF, 418 KB

english, 2010

23

Similarity testing for access control

Bertolino, Antonia, Daoudagh, Said, El Kateb, Donia, Henard, Christopher, Le Traon, Yves, Lonetti, Francesca, Marchetti, Eda, Mouelhi, Tejeddine, Papadakis, Mike

Journal:

Information and Software Technology

Year:

2015

Language:

english

File:

PDF, 2.80 MB

english, 2015

24

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Proteum/FL: A tool for localizing faults using mutation analysis

Papadakis, Mike, Delamaro, Marcio E., Le Traon, Yves

Year:

2013

Language:

english

File:

PDF, 203 KB

english, 2013

25

[IEEE 2010 Fifth International Conference on Software Engineering Advances (ICSEA) - Nice, France (2010.08.22-2010.08.27)] 2010 Fifth International Conference on Software Engineering Advances - A Symbolic Execution Tool Based on the Elimination of Infeasible Paths

Papadakis, Mike, Malevris, Nicos

Year:

2010

Language:

english

File:

PDF, 386 KB

english, 2010

26

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing

Papadakis, Mike, Henard, Christopher, Traon, Yves Le

Year:

2014

Language:

english

File:

PDF, 335 KB

english, 2014

27

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines

Henard, Christopher, Papadakis, Mike, Perrouin, Gilles, Klein, Jacques, Heymans, Patrick, Le Traon, Yves

Journal:

IEEE Transactions on Software Engineering

Year:

2014

Language:

english

File:

PDF, 1.22 MB

english, 2014

28

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - MutaLog: A Tool for Mutating Logic Formulas

Henard, Christopher, Papadakis, Mike, Traon, Yves Le

Year:

2014

Language:

english

File:

PDF, 818 KB

english, 2014

29

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Towards automated testing and fixing of re-engineered Feature Models

Henard, Christopher, Papadakis, Mike, Perrouin, Gilles, Klein, Jacques, Le Traon, Yves

Year:

2013

Language:

english

File:

PDF, 224 KB

english, 2013

30

Employing second-order mutation for isolating first-order equivalent mutants

Kintis, Marinos, Papadakis, Mike, Malevris, Nicos

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 2.30 MB

english, 2014

31

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - A variability perspective of mutation analysis

Devroey, Xavier, Perrouin, Gilles, Cordy, Maxime, Papadakis, Mike, Legay, Axel, Schobbens, Pierre-Yves

Year:

2014

Language:

english

File:

PDF, 251 KB

english, 2014

32

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis

Papadakis, Mike, Mouelhi, Tejeddine, Dan, Haitao

Year:

2014

Language:

english

File:

PDF, 209 KB

english, 2014

33

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Mutation testing strategies using mutant classification

Papadakis, Mike, Le Traon, Yves

Year:

2013

Language:

english

File:

PDF, 1.18 MB

english, 2013

34

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - An Effective Path Selection Strategy for Mutation Testing

Papadakis, Mike, Malevris, Nicos

Year:

2009

Language:

english

File:

PDF, 315 KB

english, 2009

35

[ACM Press the 13th annual conference companion - Dublin, Ireland (2011.07.12-2011.07.16)] Proceedings of the 13th annual conference companion on Genetic and evolutionary computation - GECCO '11 - Automatic mutation based test data generation

Papadakis, Mike, Malevris, Nicos

Year:

2011

Language:

english

File:

PDF, 477 KB

english, 2011

36

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Effective fault localization via mutation analysis

Papadakis, Mike, Le Traon, Yves

Year:

2014

Language:

english

File:

PDF, 860 KB

english, 2014

37

[ACM Press the 5th Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 5th Workshop on Automation of Software Test - AST '10 - Towards automating the generation of mutation tests

Papadakis, Mike, Malevris, Nicos, Kallia, Maria

Year:

2010

Language:

english

File:

PDF, 123 KB

english, 2010

38

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Towards a language-independent approach for reverse-engineering of software product lines

Ziadi, Tewfik, Henard, Christopher, Papadakis, Mike, Ziane, Mikal, Le Traon, Yves

Year:

2014

Language:

english

File:

PDF, 1.31 MB

english, 2014

39

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines

Henard, Christopher, Papadakis, Mike, Harman, Mark, Le Traon, Yves

Year:

2015

Language:

english

File:

PDF, 1.01 MB

english, 2015

40

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique

Papadakis, Mike, Jia, Yue, Harman, Mark, Le Traon, Yves

Year:

2015

Language:

english

File:

PDF, 685 KB

english, 2015

41

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Sound and Quasi-Complete Detection of Infeasible Test Requirements

Bardin, Sebastien, Delahaye, Mickael, David, Robin, Kosmatov, Nikolai, Papadakis, Mike, Le Traon, Yves, Marion, Jean-Yves

Year:

2015

Language:

english

File:

PDF, 179 KB

english, 2015

42

[ACM Press the 9th International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 9th International Workshop on Search-Based Software Testing - SBST '16 - Strong mutation-based test data generation using hill climbing

Souza, Francisco Carlos M., Papadakis, Mike, Le Traon, Yves, Delamaro, Márcio E.

Year:

2016

Language:

english

File:

PDF, 606 KB

english, 2016

43

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Comparing white-box and black-box test prioritization

Henard, Christopher, Papadakis, Mike, Harman, Mark, Jia, Yue, Le Traon, Yves

Year:

2016

Language:

english

File:

PDF, 356 KB

english, 2016

44

[ACM Press the 17th International Software Product Line Conference co-located workshops - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference co-located workshops on - SPLC '13 Workshops - PLEDGE

Henard, Christopher, Papadakis, Mike, Perrouin, Gilles, Klein, Jacques, Traon, Yves Le

Year:

2013

Language:

english

File:

PDF, 471 KB

english, 2013

45

Clinical and Microbiologic Features Associated With Novel Swine-Origin Influenza A Pandemic 2009 (H1N1) Virus in Children

Bryant, Penelope A., Tebruegge, Marc, Papadakis, Georgina, Clarke, Caroline, Barnett, Peter, Daley, Andrew J., South, Mike, Curtis, Nigel

Journal:

Pediatric Infectious Disease Journal

Year:

2010

Language:

english

File:

PDF, 294 KB

english, 2010

46

Metallaxis-FL: mutation-based fault localization

Papadakis, Mike, Le Traon, Yves

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 6.76 MB

english, 2015

47

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Featured model-based mutation analysis

Devroey, Xavier, Perrouin, Gilles, Papadakis, Mike, Legay, Axel, Schobbens, Pierre-Yves, Heymans, Patrick

Year:

2016

Language:

english

File:

PDF, 861 KB

english, 2016

48

[ACM Press the 25th International Symposium - Saarbrücken, Germany (2016.07.18-2016.07.20)] Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 - PIT: a practical mutation testing tool for Java (demo)

Coles, Henry, Laurent, Thomas, Henard, Christopher, Papadakis, Mike, Ventresque, Anthony

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

49

[ACM Press the 25th International Symposium - Saarbrücken, Germany (2016.07.18-2016.07.20)] Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 - Threats to the validity of mutation-based test assessment

Papadakis, Mike, Henard, Christopher, Harman, Mark, Jia, Yue, Le Traon, Yves

Year:

2016

Language:

english

File:

PDF, 627 KB

english, 2016

50

Special issue on Mutation Testing

Papadakis, Mike, Just, René

Journal:

Information and Software Technology

Year:

2016

Language:

english

File:

PDF, 183 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски